→⊃
$λ+KNF(<	⊗h0Yi⊗h(≤X`YβA?xλDβp_``__ε`__ε0_↓@`εβ__ε?x∨}c⊗⊂p∧?"⊃επ∂@εβ↓@εβ↓@εβ↓@␈q@λπβ ↓λλ↓`8β0h@β0h@ε_↓@`ε_↓@`∂|β0β0_εε_<∂0=!``␈C↓?_`_β`_β`_β`_β`_↓H`β}09a``␈DA1pxfελ@_0ελ@_0β_∨@ε_πx@∂xεp000πλ`π`0.!`P␈∧"↓p`ελ@0_`0_`0_`_8β_`πXλ@00λ@_`βp1@@πα␈qλλπ`πλ`__000__βX@∂pε`0000__βλ@π`0,a`X␈D"↓x0ε`__ε`_λ@↓`↓x0`000ε`8↓x1@Pπ← `¬p_`1@ πα␈qλλ?@ε__0ε`__ε0_ε0_ε0_ε0__ε`_0ε_?@04A``␈D"∂p_pελ@__ε`__ελ@_pπp_`ελ@_0ελ@_0ελX_6∂p1@
8πβ ↓λλ9g∧⊂λ⊂B∧⊂λλbα(⊂	$α(⊂	$α(⊂	$α(⊂¬∀↓@`ε_↓@`ε_0+A`⊂⎇@≤`1@0πβ↓λλ?}β_εββ0βλ@∂pβλ@0βββ?0-↓`X␈D"_@↓p8@β0h@ε0↓H@0βλ@_0ελ@?|λ@0λ@08p1@
πβ↓λλ?xβ0εβ_εβ_εβ0∂xββββ?08!`X␈β↓3`→@_0`_β`βX_`_00l80∨809!`H␈β↓1p≤`ε_00λ@?p0_0β_π@0-!`X␈D"πx`∨`ε_ε_πx≤0ε`0000ε`≤0↓x1@
hπα␈p⊂∧␈|∂xp1@_πα␈qλλβl↓Hp≤εp_00000_ε`_↓H@β`0*A`H␈β↓``βH@20∞X@∂@βp:pH@α`β03a`X␈D"βx@__0000000000000__βx@1@`πβ ↓λλ?βββββββββ?␈02!`P␈∧"∂x`β`β`β`β`β`β`β`β∂x`1@pπα␈qλλ<<π`≡_π@`≡_ε``≠_ε``→Xε0`→Xε0`_xε_`_xελ`<801a`X␈D"x`εxβλ`_8ε`0_00|`0_ε`_8βλ`ε8x`1@
_πα␈qλλπlπλp_00∞≤πpπp_`≤0008_∂λ@7`01!`p∧"∂x|ββββλ@0βx@0βλ@β↓Cε↓Ox}1@
8π↓∨00λ_∞β___03!``␈D"∞8_ε0∀∀¬P∀∀¬P∩$∧H⊂∩$∧H⊂∩$∧0⊂⊃D∧0⊂⊃D∞⊂81@
Xπ↓←!(	?∨L`0_`0_`0_`0_}?_`Vβ@O`α@&β___07!`0␈¬"/`}β↓@`εβ↓@`εβ↓@`εβ↓@`εβ∨O`c_ pε@α⊃␈pεε_εβ_εβ__π|_xεβ_εε↓@_εε↓@_επ␈p_`lCAPλD≡π@_εε_βε0xβ`0↓@0↓@0↓@0↓@xc~@p¬?B⊃␈p→Lf0↓@ε↓@ε↓@ε↓@ε↓@ε↓@ε↓@∨@_`jCAPλD≡π@0β0β0β0β0β0β__εε0↓xc↔@p∧␈A@p`xπ@β@<≡x∂∞↓pβ`_c↔`p∧␈A@p`≡<β@π@xβ`↓p∞∂x_c↔Pp¬␈`pX␈x∨}∨}␈x_`eβA∨hλDβxβ`β`β`β`β`β`c_`6πc∃pβ}bQ⊂ββββ0_`0_`0ε0β`β1@
0πβ ↓λλ<∂ε_εβ0β0ε↓@`ε_↓@`β_h@β0h@↓p8↓`0*!`8␈¬",0β`εβ`0β↓@`0ββ↓@`c≠pε@α⊃x≡εε__β0↓Xε`p↓@pε`↓X0β__εεx≡_`XβA?xλDβp_`ε_00`__ε`__ε`__ε`_00ε__`βpc→0p¬␈b⊃xx_0`03`6∂@?∞`301@_0`xx_`dβA?xλD≡≡00000000∂|00000000≡≡c∃0p¬␈a⊂`β`β∨}␈x`β`β_`[βA?xλD↓x≤0ε000≠px`≤`__ε`__ε`__`βpc⊗pp¬␈b⊃?x∨|`0__`0↓@`β`ε↓@εββ_`WCA?x
D@ε_∞0≤`8↓@pβ↓`εβ@π_∞0≤`_c≠ p¬␈b⊃?x00_`0↓@`ε↓@β_εε0_ε␈x_`hCAOx
∧πx00_ε`__ε`__ε`__ε`__ε`_→fmX≠69pπ{↓\>p_`RβA?x
D@`ββp≠pfc__fs∞`∨@βxβpnc__fc_l≠pβpβ`c↔pp∧␈B⊃∨0``__`0πββββ~]⊂β:⊂3`≤ A80⊂εtx⊂(n⊂β0∩0p0 ]`?}A↓⊂#⊂_`(↔(3`&∪H≤p$⊂A∞'#_→p`4X"∀H∃8↔⊃FL_↓xf_λ⊗`&\_C8λ∪8_@@p}RH!P)D`@U)e Pi2@&K	b`&∪¬Dh!SλT0∀∩E∩Hh@.l(%RgTX%Jf≤('⊃E∧X%J'SbR(b@&∪¬d8"KF∪_εβ_εαH'⊃E∧X%J'S_bT(b@%Re∪h∀∪%5⊂%⊂E∩P)∀Z⊂λβ1&#~`Hh⊂)⊃E∧X%J'R@'
h4('∃
"H∃∀J-λ]XTp#
ε∩H≡Ri<(!P)D`@QI∀`&∀%¬λ#
$0⊗∪HbHh@ l(~fh⊂# Htx@U	xλ≤L: 1&X⊂1 Hdx)∪(∃ ∀&$H∀tαbL&βA
P$0'TITλ*
∧xλ#O(t(*⊂∀8&O(t(* )Tx)⊃%Hλ)O*4λ+⊃%Hλ"∂(E⊂ UeHλ&O)Tx+⊃%Hλ)∂*$x*⊂*D(⊗	e⎇λ]XSλ∪`(Sh"Q	∃ ⊗ E(⊂(∂*∧`'U¬H⊂∞ J$(≡THTλ" (T $U⊂∀0$SλR`Aπ⊂%8≡Uj$H*⊃0∀("∩*Hλ#∩)D(∪KxSλ∪`)DH≡S	∃_* (4x'THDH'⊂*D()Ie|(_K∧xλ"⊃)Ch"⊃)D(*⊃0∀H*⊃)Xλ#∀Ith@QI∀`"K⊂!`A∪gTx+⊃*$` V%H⊂∞ K#h-⊃*$x@Q
$λ+R)d8∪KeL(_Ip∀0≡QI∀`& L(⊂''TH&P(t(@Ti∃P"K⊂∀p→∂&∪h#TI∀ Aπ⊂"h_O(D(&⊃*D(@Sjd()∪λ∃H∪Ke≥λAXT_Aπ⊂$p_O&#@U	xλ!Rλ∀p#Q0∃_$⊂*∧(hλ(!R*$_≤LP!`A⊂h∀`& (E,PiE⊂h∧(!N&(⊂# H4λ&∪⊂∀@,Q
∧x#Jε∩HbN&(⊂* H4λ&∪⊂∀ (⊗*4(*
ε∩`$TjB`~εβ∀q(4H)⊂p#@A⊂h∀`& *$ )⊂*r@→	T_&⊃(b@_J%Dh!SλT0∀t ↔0bPh∀`& *$ )⊂*r@_Kε"`&PiD(#
ε∩H⊗∪(4`"QE≥λAXT_@U	∧H)`(4`"P*%_@QI∀`&⊃*(λ&∩)d()t ↔0bPh∀`& (E⊂ Ui∃ bSGSbQixλ*∪p∪_b⊂≤_␈↔&C→`Hh⊂#∪j$h U¬α8@Uj$H*⊃0∀x+⊃*(λ∪Kλ∪(⊗	ed &Qπx⊂∞ Dr`∩
:⊂λβ1&CλA∃⊂$0'TITλ*
∧xλ*⊗*∧(@QI∀`"`)dλ&Q$rx∀q&∪λ_ Hh⊂#∪j$h U¬α8@U	u  S⊂∃8"∀gR8⊗∩&2HbL&∪λ_ Gλ⊂#∪j$h U¬α8@JE"P∃
E"P∃
E"P∃
E"P∃
E"P∃
E"P∃
E"P∃
E"P∃	eBxh@.l(_`JH⊂∪`%"P∃
E(λ+P*$p$SHxλ⊗`)DH&R*Ch→M&λλ∃
E"P∃
Dr`↔q&_⊂* Dxλ∃
E"P∃
E"P∃
E"P∃
E"P∃
E"P∃
E"P∃
E"P∃
E"P∪J8T('⊃~MXjt@hh∧xq⊂(a@A]_`A;@@lI\λαwλ␈x⊂  AF_λ ],xλ_N'β_A⊂P#H≥f<_↓RhE⊂ Ued0~0`>__`%Xλ~0`⊂h`$nb⊂≤_zJ)Ch&
f≥λAXS0_`JH⊂&PiD(#
	2H≡RJ5 ∀∪¬≥λ]XTh!SλT0∀%∪h&t ⊂0bL&∪_ Gλ⊂#∪j$h U¬α8@R*D(&`)e(&Odrx∀q&x⊂1 I∀0∀∪)u⊂"J(tx@U	xλ≠L~⊂λ;1(Dx@Mfsλ@RgS⊂⊗∩IRh_t ⊂0bMfsλA⊃P$H#
	T_&⊃(b@%J%d8"KF#_εβ_εαH#Sp∃ '`&s8→4 ↔0bQixλ*∪p∪8_4 ⊂0bPp∃*U
8λ#∩)D`"TP∃ '`(Tp"1(8⊂∞ ITx+⊃*8λ'U*D`$SHXλ*T⊂∀0)∪ie bMfs⊂A⊃P$h≡S(4`"QEβλ∀t ↔0bQ	xλ≠Mf8λ&∂)2`%∪8Th≡S%3λh@ l(≠Mf8⊂# IT_&⊃(b@&J'Th!SλT0∀∪¬≥λ]XTX≡RIRh%t ⊂0bL&s8~ Gλ⊂"∪p∪8≠M⊂∀`≡RIR`&q&s8~ Hh⊂&PiD(#
	Bh%J'Th!SλT0∀∪¬≥λ]XT_ S	Hλ"∀∃_"U¬βλ⊗∩*5 ⊗
εβ_
8TH)Uε#h_1(tx@U	xλ→qλλa␈KS8_ JH⊂$QE∧p↔∪HRp&∀¬∀8'`*Dx@Lz⊂λβ1(4H)⊂p#@A∪j∧('

Tp$UπSλ⊗⊃I∀`"O$u&∪jBp(∪
B8⊗∪)t "O$tH&P(t(∪J8T_$TH8⊂≤ H4λ&∪⊂∃_ UH%(#
ε∩HbPp∃8)∩*D()`*d()∀h∃ "Pp∀0$SλX⊂∃ J∧`'U¬e&∃_T_$TH8⊂≤ H4`'ThR@*SI∃ ≡L%≤(!R*$_A∞⊂% ,TλXλ~
ε≤(!R*$_A∞⊂$8'`*Dx@N&≤(!R*$_~
ε_λ#∪j$h U¬α8@JE"P∃
E"P@T	Dx*J∧`* *tλ)`*u⊂$U
D(' %"P∃
E"8∀t∧bLp&⊂A∩(b@'Id(↔∪λBH&S'Sh∧(!`CH⊂)⊃*4(* )∀0@SIu @QitH'⊃p∃ '`(E⊂ Ui∃ bLf3_A⊃P$H#
	bp"T%d`(
(tx@U	xλ→Lf|(!Pp% A⊂h∀`& (E,PiE⊂h@.l($QE∧p↔⊃hRp_
(tx@U	xλ→Lf|($QE∧p↔⊃*∩p&⊃e∀8'`*Dx@Lf38bR(b@'HUλ↔∪	RH#Sp∃ '`&3_≠q)∀0∀∪Edp"KIE⊂∀Qixλ*∪p∪H→4 ⊂0bLf38A⊃P$H#
	%_↔⊃*∩p&⊗E∀8'`*Dx@Lfβ0h@.l($QE∧P)KId(↔∪
2H#Sp∃ '`&3_≤1(4λ&∪⊂∃_&Siu $
	%_∀q(tx@U	xλ~fmλAXS_→N⊂$0A∩(3h⊗L:⊂λ;1)Th≡L8T '`&3_~`)3h→	T_&⊃(b@_J8TH#
	T_&⊃(b@%J%d`*F#_εβ_εαH#Sp∃ '`&3_~q)∀_≡RxT8'`*Dx@Lf3 h@ l(!`(dx) &∃_* )Dx!KP∀x# )T_&⊃(hλ$SP∀0$S	D()1&3_~`Hh⊂!Sie $SJT(bPi∃⊂!Lf3 @Ph∀`& *$ )⊂*r@→	T_&⊃(b@_J%Dh!SλT0∀q&3_~ Hh⊂!P)D`@THE⊂ Ueβλ⊗EDh!SλT0∀%∩`&PiD(#
8T_@L'T (⊗)u(*
ε∩HbPi∃⊂!`Gλ⊂!P)D`@Q
¬H'U*B@'⊃
αHh@.l(#Sp∃ '`'∪λh@ l(≠N0% A∩(b@$Ped`*FαH#Sp∃ '`'∪λbPp!`A⊃I∀`&∀p∀H*XT_Aπ⊂$H!O%Sλ@R(hλ'∪p∀0$S	D() *tλ)`*$((U(U_*⊃(Hλ+R	∀`"`(E⊂ Ui∀p#KZ⊂λ;1)%P≡SXTX%O&($QE∧P!KId(↔∪
2H#Sp∃ '`&#≠4 ⊂0bPp!`A∃∃"`$t0)Ip∃ '`(dH&∪⊂∀λ'⊃⊂∃_&Siu $1&3≠ Hh⊂!P)D`@TiTx'U	α@_
8T_Aπ⊂%_&Siu $∀p∀λ'⊃⊂∀0$S	E_h@.l(#Sp∃ '`&C_≠4 ⊂0bLFβ0A⊃P%⊂)∂*%_-4 ↔0bQ	xλ→εXλ%∂)∀_⊗∪(4`"QEβλ∀u≠=(i↓]λ→pλb \_↓β:<λαwλ↓Xλ∪8_⊂(n∨xp @H⊂→0∀λ:Yp∪λ≤Nε8⊂! G∪P→Lx0_%Q
$λ+KHc a@|3λ@K0∪_a@!\I\  8? $Pi∃⊂!M&h⊂∞ H4λ&∪⊂∀ (⊗*4(*
εC_ε"Hh@ l(~MP% A⊂h∀`& *∧x#LXT_@R)dH*∩(∀`$VHXλ*∩λXλ'UHU⊂&⊂+≤(!R*$_A∞⊂$H'UGS⊂bPi∃⊂!`Gλ⊂'⊃
βh→1(4H)⊂p#@A⊂h∀`& *$ )⊂*r@→	T_&⊃(b@_J%Dh!SλT0∀t ↔0bPh∀`& *$ )⊂*r@→Kε"`&PiD(#
ε∩H⊗∪(4`"QE≥λAXT_$TH8⊂≤ I∀x+∂&≤(!R*$_A∞⊂$_ S	Hλ"∀∀x*U¬∧p"∀¬≤(!`*4λ+⊃0∀x+⊃*$` V0∀H' *5"Pi∀λ& )T(&Sj%Hh@.l(#Sp∃ '`'∪λh@ l(→MP% A⊂h∀`& (4h!∪Z⊂λ;1(tx@U	xλ≤L:⊂λβ1&3⊂A∃⊂$H#
	$_↔⊃*∩p&⊃%dx)I$_↔⊃*∩p&∪%∀8'`*Dx@L&,(!`*$(≡THTλ" (T $U⊂∀0$SλXλ#∪j(λ+⊃(5 'TJ=λ]XT_ S	Hλ"∀∃_"U¬βλ⊗∩*5 ⊗
εβ_
8TH)Uε#h_1(4λ&∪⊂∃_$∩(e ∀∪(4`"QEβ⊂∀K	T_&⊃(b@_J%Dp∀t ⊂0bPp!`A⊃Iu⊂@TIu  U	∀x' )u⊂@S)u0$SHxλ SHHλ"∩*5 'TJDH'⊃p∀('∃	∃⊂"`*∧H!U
U⊂"t ↔0bRGSλbRH3h_1(tx@U	xλ→Lf=λAXS⊂≤L0$0A⊃Iu⊂&P*B@ LEDλ~J8S__ JH⊂)⊃*$( Q⊂∪⊂≤L%Dp&K	dhh@.l(!P)D`@S	s⊂*T¬∧p&J8TH#
	$_↔⊃*∩p&∪%∀p&O$xλ∪q)∀0∀∪IRp'⊃%b8@Ie∀8'`*Dx@LG∪_h@ l(_Lfλ⊂# JEH(⊃0∪ _t ↔0bR(b@%⊂ed((KIDh∀Qixλ*∪p∪λ≤M_TH#
	bp"T%d`)J(tx@U	xλ_N&MλAXT_@Iht(*	p!`A∀HTH'∩*Hλ+⊂*$H'U*8λ*∩	∀p#Tz⊂λ;1)T_&⊃(b@_J'SbS)Sh_1)3h_t ⊂0bL'∪ A⊃P$H#
	$_↔⊃*∩p&∪%∀h'THSh_4 ↔0bRJ∪h%⊂xTP!O&(%∪'SλbR(b@&PiD(#
ε∩H↔⊃*∩p_
(tx@U	xλ_N&<(%∪'Th!SλT0∀%∩X_t ⊂0bL'∪_A⊃P$_ S	Hλ M)∀p∀∪IRHh@.l($QE∧p&KHUλ↔	p∩8∀SISh&⊂*5 '∪8TH#
	dh↔⊃*∩p∪`$rH#Sp∃ '`'∪λbR(b@'∪%d((KDt⊂∪KIu⊂↔∪IRp"T%b8≤N$rH#Sp∃ '`'∪λh@ l(!`CH⊂∪PDxλ'TP∩8≤N$x⊂∞ JtH&∪⊂∀⊂ Pi5((1&#H→`Hh⊂&⊂*5 '∪'Tp&t ↔0bR(b@&∪itX#
	dh∀KHUλ↔¬∀8'`*DxAπ⊂#λ→L~⊂λβ1(8⊂∞ Dt0 R)B8@TIu(*∩)d(@U	xλ!RλT_%`)tp@S	tx%U*λ⊂≤ Fβh#∩)D(@SIu @QIu('⊃¬mλ]XT_ S	Hλ)⊃
4λ+
	4_&⊃(b`'∪)E_*	R`'∪%DP)U¬Bh_J:⊂λβ1(8⊂∞ ESλ≡THTλ"4 ↔0bRGSλbR(b@%PiD(#
ε"H↔⊃*∩p_
(tx@U	xλ→∞&(*⊗*∧(@L&∪_1(∀_!Q*¬ @M&R`%1)#h%
f≥λAXT_Aπ⊂$H*⊃)U_@P*$(@SJTh!⊃*$(" CH⊂_ *D@)∪jT8$ '_λ∀&λλ$UλTh)J%mλ]XTH#
	"p#U¬cλ_
(tx@U	xλ_N&≥λAXS⊂≤L⊂$0A∩(3h%PiD(#
	"H∃RJ5 ∀∩h4`"QE∧P∀J%Sλh@.l($QE∧H!KHu ↔fS∀U∃"`&∪λ_L~⊂λβ1&cA∃⊂$P-∂&≥λ]XTH#
	Tx)⊃%d((KFαH%⊗GTP&q)Ch%PiD(#
	"H⊗L8Th≡RJ5 ∀∪¬3λ∀Ji%P⊗L8TH#
	Tx)⊃%dp"KFαH#Sp∃ '`&∪0_q)Sh&K&≤(&∂)BX_t ⊂0bL&cλA⊃P$ '`&cλ@RgTP-	] mu: εtαg@8@λαp` hip ]` 0`$n`A;@␈|λ⊂α F#λ@P.V8@L'∪@→`H(⊂≤NF3_a@i4 )⊂*rp#
_0_qL0∩h@LX0λεp∩0p1λλa⎇%∃⊂)VGU0→4 ↔0bQj$H"∂*c_h@ l(~L0% A∩(b@)∀k"p"T%c∀TJ5P≡V
5PbPp!`A∃	xλ)P*d(@Ti∃P"`(dλ!U	u⊂@Ui∧(' *$("∀H∃8$SHrph@.l(&Sj$(≡K&≤(!P)D`@S	s⊂*T¬∧p∀q(4λ&∪⊂∀`'LJU∀∩H2HbPh∀`& )Dx→∃*α@%∀e≤($QE¬⊂)VEd((KFαH)∀k#h≤KF($QE∧8)∩(Bp'⊃%c↔⊂)d ↔∪Edp"KIE∀Ph∀`& (u⊂$Q
=λAXT_$TH8⊂≤ HDx@L'∪λ@RgSλ⊗&Mλ]XT '`&∪H_`)3h_Kε∪(h@ l(!p`2h#`CH⊂)`CH⊂&`CH⊂" CH⊂) CH⊂( CH⊂ `CH⊂# CH⊂"`CH⊂-1&∪H_`Hh⊂$QE∧`"U
2@%J%d((KIbH#Sp∃ 'Jε3⊗fb`→LEC_→Kε3⊂⊗
fα`→MEC8≤Kε3@⊗g∩`h@.l(_`&S0⊗&∩`_LECλ≠ε3⊂∀Rz⊂λβ1(8⊂? Ix⊂∃ IH⊂∞ Jx⊂∞ Iλ⊂∞ J≥λ]XTH#
	bp'⊃%b8@Ie∃ ,TλXλ→N&≤(#Sp∃ '`'∪λh@ l(→N&_⊂# Hdx)∪(∃ ∀	p∃('∩idx+SP∀_'S)Tλ'⊃∧rx∀q(8⊂∞ Dtx∪`)Tλ%Q*8λ!U*%⊂"SJHλ"∀_λ$SJDx@Sjd()∪λ∃Hhλ(_MP% A∃∃"`&∪_4αbPp∩8$⊃)E∪t ↔0bQixλ*∪p∪H_qλλa␈H∪λ_`JH⊂!P)D`@S	∃_*
εαHh@ l(!`*EH(⊃0∀x*U⊂∀`$TjHλ'QP∀_'Sj$ $SH∃ "Temλ]XT8'`*Dx@N&≤  8?p L&(⊂* JEH(⊃0∪ _t ⊂0bPp∃8)∩*D(@S	∃_* )t0@Pitx)⊃
8λ'SP∀ $Ti8λ#∩)D(h@.l(%RgTP!t ⊂0bPp∃_ UHXλ)Q(4x'⊃⊂∀`"U
D() *EH(⊃(H⊂∞ E∧(@Sj(λ&J:⊂λ;1(4λ&∪⊂∀λ~R)b@%⊂e≤($QE∧p↔∪HRp&∃e∀8'`*Dx@L&<(!P)D`@S	∃_*
	$_∀q(tx@U	xλ≤L8@@p␈dλ!R*$__Lp!`A∪j∧('

Tp$UπSλ⊗⊃I∀`"O)$_∀t ⊂0bL&8⊂* H4λ&∪⊂∀H#∩)D(@Jε∩`%⊂e≥λ]XTp≡L:⊂λβ1(8λ&∪'Th@QIu⊂@THTλ"∪)u⊂"t ↔0bR(b@%Red((KIDh∀SGTh!SλT0∀%≥λAXT_@QhU @Uiu⊂" (4x*SJHλ'QP∃⊂"Ti∀ "SJHλ(∩(5 *TH\(_M⊂% A∀HTλ"
ε∩`~KλTp"∂&∪(∀ReDP!K	%_⊗∩K,(!`*$( Q⊂∀H' (T $U⊂∀0$SλXλ'QP∀_'Sj$ )KP!`A∩eHλ,⊂∃H⊗ +(⊂∃ E∧X@R*8λ!SjTp* )e(&PEbHh@.l('∂)bX_q)%P≡RK"P_Lεβ_εβ_4 ⊂0bPp∀P-∂&∪h$SJdH)`CH⊂≡LGU_*⊂*% @QI∀`&⊃*(λ∀∩)e0$Te≥λ]XT_ S	Hλ)⊃*∧λ!Re∧P!K	%_⊗∩K"`&PiD(#
	bH∀q(tx@U	xλ_M~⊂λβ1&∪(A∃⊂$h!SλT0∀%∪h'1(4H)⊂p#@A⊂h∀`& (E,PiE⊂h@.l($TjC⊂≡L_T_ S	Hλ"∀∃_"U¬βλ⊗∩*5 ⊗
εβ_
8T8'`*Dx@Lf3 b⊂≤_␈	&3_A∃⊂$H#
	%_↔∪HRp&∪	BH#Sp∃ '`&3@bSGT`-4 ⊂0bPp!`A⊃λT`≡QλT`"UλXλ#∀Ith@Pith!P∀0$SλRpA
P"@%∀gT`&∪¬≥λ]XT8'`*Dx@LfmλAXS_≤ JH⊂%Q(Ch'4 ↔0bS)Sh&PiD(#
ε∩HbR(b@&S%dp"KFαH#Sp∃ '`'∪⊂h@ l(!`CH⊂ QλHλ*∪p∀ )⊂*tH'⊃g⎇λ]XT8'`*Dx@LzMXjt@hh∧xq⊂(a@A]_`A;@@lI\λαwλ␈x⊂  AF_λ ],xλ_N'β_A⊂P#H≥f<_↓RhE⊂ Ued0~0`>__p`↔h`$nb⊂≤_z∩(2P∃
E"P@QIt`&∪jtH'⊃p∀H)`(dH&⊃0∩8"∀H∃8↔⊂iT ∪`%"P∃
E"P∃
E"Ph@ l(!JE"PA∞⊂$ )⊂*uX"∀Jr`&⊂j5h⊗∪*5_$Sk4h)K	D_)W%D_!⊗hE⊂+K	D_)W8T_∃
E(⊂≤ ED )⊂*u_&VhE⊂+K	D_)W%D (⊗)∃ -Q
%8⊗∪λ5_.KλE⊂"Q	∃ -Q
%8⊗∪λ5_.KλdH&∪λU⊂-Q
%8⊗∪λ5_.q(2P∃
P#@Aλ5()∀iu⊂-S*5_⊗∪λ5_.K
5(!∀iDh-Q
%8⊗∪λ5_.t∧bPp!`A	hr8@Sj(λ≡⊂j#p@O0∀8"U¬h⊂∞ Dtλ∪O(∀ " *Dx@Pith!∩)d(" (dH&⊃%mλ_T_@TπU&∪jL(!`)∀p@Q
$λ+`*4(!U	∀x'∞P∀P≡RJTh(
	∀p+∩*2p@UHT_*E≤(!`CH⊂#∂)%(&T⊂∀λ'⊃⊂∀⊂"Qi∀p@QI∀`& *4(!U	∀x'P!`A⊃Kβh"V	∃ @P)d @QI∀`& (∀`&XT_@Ti∀p#SλXλ$UλTh@R*8λ)⊃*5 )∩(5 "Q⊂∃ '`&3(_ *t )KP∪λ_ )∃ "S*8λ'TP∪_~L⊂∃8"∀p∃"TP∀0$SλRpbPp!`A	ir8@S(∀X"Tp∀_*TJ$('∃⊂∀ (⊗0∀H'∃	xλ'UHU⊂&⊂+∩phλ(!`*d(!U	u⊂)`(∃⊂"`*∧λ!RhT @L0∃ '`(_λ+Sj$ @R)hλ*∩λXλ#∪iD`'Ui∀p#`*5 )⊂)d8"`)Tλ'∪HU⊂≥4αbPx0λP($_"⊃(d8$∩0∃⊂"T
$()Q)e )`(_λ≤K(DH#R*Hλ'∃)T⊂"TEl(!`E(⊂ O&βh+∩*4H!∪λXλ+⊃(5 ↔⊂∀λ≡L'TH'∃I∃_$PID(⊗ (∪h→∂)∀p+∩*2p@P)d @TjDλ)∃⊂∀x# (dH&∪λT @P*$( KXT_A
P$⊂!QλSh*∩λXλ, (4x'THDH'⊂*D(⊗ (#h_∂*∧x)R*DH+⊃%Hλ!∂&∪h'⊃(rp@J
D@"`*$λ'⊃hXλ$Tp∩X@Sj(λ⊗`'∪H≤J8T_A
P$0#R	∪h*∩λXλ,`(4x'THDH'⊂*D(⊗ (ch_∂*∧x)R*DH+⊃%Hλ#∂&∪h'⊃(rp@J
D@"`*$λ'⊃hXλ$Tp∩X@Sj(λ⊗`'∪H≤J8T_A∞⊂% $∃*8⊂∃ F∪_
Fsλ_FX⊂∞ IT( SJ8λ$SJdH)KP∃0"PjDx) *Dx@VπS0≠K⊂∃H≡K&#(↔1λλa}Q∀_'S)Tx' %u_ UEtP!SλT0∀&αH⊗∩h4`"QEβλ_
%Dp&S
5 ∀&αH@Ki∀p!TEtH'⊂j,(!R*$_A∞⊂$_'S)Tx' %u⊂!KiT_&⊃(b@~εαHh@.l(!SiTh'SP∩x)⊂eth!SλT0∀
εβ∀K	∃_*
εC_¬≤(_`%t8)∩(Bx#TI∀ h@ l(!R*$_A∞⊂#λ@KhE,Kid (	∀x+λu⊂$Q_T_A_P$p"∀πT⊂*QHd() )e(&`(dx) )u(*∀
U ⊗ )∀x+∂(%(#⊃HU⊂@SJTh@QIu⊂@R)e*U~⊂λ;1(DH&Q)e_$Sihλ%∀jB@~
&αH⊗∩)e∀
f"H⊗∃Eβ__
8T_'S)Tx'k$p↔Th4`"QEβ⊂⊗
εβ∀KλD " %t("i4("	d(,∃¬Dp'	e@⊗∪K∩`%1(4x&S)tp@Vα@_LεαH⊗⊃eβλ_¬∩`'∩EEλ#
εSλ→
%E⊂#
εSλ→
%E_∀&β∀K	<(!SiTh'SEtp#⊃Etp#
εSλ→J0∩x&∪¬t`& %u⊂-j%_-
$P!λ4('∃
-λAXT_$TH8⊂≤ H4x&S)tp↔SλU )KiD(*∀eβλ~
0!`Ahd`↔R(2`'	eλ⊗∀K,(!R*$_A∞⊂$  Uλ_λ&⊃*E_↔Ihr8⊗	j28⊗	iR8⊗	hB8⊗	j"8⊗	jα8⊗	h∩8⊗	hb8⊗	hR8⊗	k"8⊗1(4H)⊂p#@A$tx∪K∧t`∪K∧u8∪K∧t@∪KeHλ$Ti∃P"Kf#_¬r`@TI$⊂↔K&#↔eD_"SJE⊂↔K�↔z⊂λ;1(4x&S)tp↔SλU )KiD(*∀eβλ~J0!`Ahd`↔R(2`'	eλ⊗∀K,("⊂*Dλ@SλU )Kdt8∪K∧u_∪K∧th∪K∧t ∪K∧u⊂∪K∧u∪K∧tλ∪K∧t0∪K∧t(∪K∧uP∪K_Sλ∪Sdr`∪S∧r`∪Udr`∪R∧r`∪T$rx⊗ )∃_$VHRx→εβ↔K⊂∃⊂%⊂Erh→¬bx⊗⊂hTp*∀Erh→
EbxbQ*∃($UH∀`"SH4(@J	Th⊗∀h4`"QEβλ⊗%∩H⊗

c⊂⊗∃Eβ⊂∀J%B@+eE0∀e∩H⊗
	b`$SJαH⊗1&_λ∀∩*dH⊗∃F∩`+
%B@&⊃*E_∀&2H⊗∪
rH⊗
	D(*∀eβλ~
%D`$
%B@%⊂eDH'∀¬β⊂∀J%B@%∀eL(_`)∀p(
ε2H∀K¬∧`"U
2@_J%D`#J%B@&⊃*E_∀E∩`&∀e∩`∀∪λU )Jε2H⊗∪	RH⊗
	D(*∀eβ ∀q&∩`&⊃¬∩`∀∪λU )JεRH⊗∪
"H⊗
	D(*∀eβ0∀K	E∀K¬∧`"U
2@≠J%D` J%B@&⊃*E_∀∞¬∩`&⊃E≤(_K¬∧`"U
2@≤J%D`"J%B@&⊃*E_∀&αH⊗∪"H⊗
	D(*∀eβλ_J%D`'J%B@&⊃*E_∀&"H⊗∪	D`∀q&∩`∀∩*5 →	∃_*
ε"H∀t ⊂0bPi∃⊂!`Gλ⊂!P)D`@Q*%⊂)Q*B@_
8T_$TH8⊂≤ H4λ&∪⊂∀ (⊗*4(*
	∃_$VHR`_J8T_$TH8⊂≤ Id (∂&≤(!R*$_A∞⊂$H'UGSλh@.l()∀k#h_1(u⊂$QπSh@ l(→N0% A∪(4`"QEβλ∀O&(!R*$_A∞⊂$_ S	Hλ"∀∀_&∀XT_$TH8⊂≤ H4λ&∪⊂∀ (⊗)u(*
	d (
:⊂λ;1(4λ&∪⊂∀ (⊗*4(*
ε∩`$TjB`~εβ∀q(4λ&∪⊂∀@,Q
∧x#Jε∩Hh@ l(!`CH⊂$QP∀λ' )u0"TIDλ,`)∧λ)`($("SP∃_"U
U@R*Hλ)R	u(&⊃⊂∃_*∩)D`@Q	∃_(∪λ∃H@P(e "TP∀ (⊗(4`)XT_Aπ⊂% $∩*8λ$Tp∀0'TP∩8-	p∩@-⊃*$x@U	∧(@Q
$λ+R)d8∀q(8λ"∀∃_"U⊂∀H'∩*DH S	∃P"Tp∀8)⊂*∧@$Pj8λ(⊂(4X QhXλ SHHλ"V
∧λ'⊃
8λ!Sj$(@QIu⊂@PJT0#⊃*"ph@.l(&S'SbRgSλh@ l(_Mp% A⊃Iu⊂&P*B@∪`%"8⊗	¬≤(_N⊂% A⊃Iu⊂&P*B@∪`)βh$⊃)E∪J:⊂λ;1*EH(⊃0∪λ≤4 ⊂0bN&_⊂* JEH(⊃0∪λ≠q&S(A∃⊂$0'TITλ*
	∩`→⊃E≤(~L⊂% A⊃Iu⊂&P*B@≠LH∪λ∀q&S_ Hh⊂,∀k#h)∀k-λ]XTλ!PhU* &S⊗∩)ebPh∀`& *%⊂"P(B@$SJα`+
:⊂λβ1(8λ+ (∃⊂)⊂+_λ$⊂*8λ-⊃*$x)`)∀0@P)E$⊂*8λ$SP∀H'∀⊂∀λ)∀H∃H↔5≠?x